Modelling the Progressive and Coercion using the Event Calculus Bachelor Thesis
نویسندگان
چکیده
This bachelor thesis summarises Hamm and van Lambalgen’s book ”The proper treatment of events”. The main points are addressed to provide an overview of the Event Calculus and its usage in natural language semantics. The Event Calculus is a formal system derived from the Situation Calculus that allows for the representation of overlapping events and partial changing objects. Its ontology comprises three types: events, fluents and time points. Thus, natural language expressions are decomposed into such elements construing a scenario to represent what is claimed to be the sense of that expression. This thesis exemplifies several principles and mechanisms involved in this representation using mainly verb phrases. Further, a process called ’coercion’ is described which labels the phenomenon that one verb can occur with different aspectual classes, here distinguished according to Vendler. Coercion is represented by the Event Calculus by modifying a ’default’ scenario of that expression and thereby creating a related scenario, thus a relation between the two aspectual classes is established. The progressive is a tense that often induces change of aspectual class and therefore is an excellent sample for investigations on coercion. Because this algorithmic approach is claimed to model sense and reference and thus to replace the conventional possible worlds semantics, a discussion on this issue follows the detailed analysis of the single aspects.
منابع مشابه
Fuzzy consequence modelling of hydrocarbon offshore pipeline
The traditional event tree analysis uses a single probability to represent each top event. However, it is unrealistic to evaluate the occurrence of each event by using a crisp value without considering the inherent uncertainty and imprecision a state has. The fuzzy set theory is universally applied to deal with this kind of phenomena. The main purpose of this study is to construct an easy metho...
متن کاملNON-POLYNOMIAL SPLINE FOR THE NUMERICAL SOLUTION OF PROBLEMS IN CALCULUS OF VARIATIONS
A Class of new methods based on a septic non-polynomial spline function for the numerical solution of problems in calculus of variations is presented. The local truncation errors and the methods of order 2th, 4th, 6th, 8th, 10th, and 12th, are obtained. The inverse of some band matrixes are obtained which are required in proving the convergence analysis of the presented method. Convergence anal...
متن کاملCriteria for Prescribing Coercion in case of Gross and Widespread Violation of the Ethical Foundations of Human Rights
Background: Observance of human rights standards and adherence to ethical principles and foundations prevents the vulnerability of governments to foreign decisions and guarantees the independence of countries in a world where interdependence is one of its characteristics. Governments, while having legal legitimacy, must also enjoy moral legitimacy. Otherwise, international organizations and oth...
متن کاملSLIDING MODE CONTROL BASED ON FRACTIONAL ORDER CALCULUS FOR DC-DC CONVERTERS
The aim of this paper is to design a Fractional Order Sliding Mode Controllers (FOSMC)for a class of DC-DC converters such as boost and buck converters. Firstly, the control lawis designed with respect to the properties of fractional calculus, the design yields an equiv-alent control term with an addition of discontinuous (attractive) control law. Secondly, themathematical proof of the stabilit...
متن کاملProposal for a bachelor ’ s thesis Equational reasoning modulo tuples
Prerequisites • Good skills in functional programming (e.g., from the FMFP course) • Knowledge about logic and the λ-calculus (e.g., from the FMFP course)
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004